Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing

"Can You Have It All?": Managing The Time And Budget Against Quality Issue in A Dynamic Business Object Architecture Development ABSTRACT

It has been widely observed in the information technology (IT) communities that IT developers are coming increasingly under more pressure than ever in juggling between software quality and timely delivery in a tight budget. Developers are torn between the dilemma of either delivering quality software at a price of longer development time and higher cost or delivering software in a timely fashion neglecting quality. Many attempts have been made to tackle the challenge of: "Can-We-Have-It-All?". This paper recommends an approach to manage time and budget against quality and aims at achieving this tripartite objective. The paper covers the development of a Dynamic Business Object Architecture (DBOA) and its implementation through an insurance project case study. The structure and approach of the DBOA are explained through the development process and the case study is presented to demonstrate the initial result of this approach. Some insights resulting from applying the above techniques are also discussed. 1